sum_(k=0)^n binom(n,k)a^(n-k)b^k